Nuprl Definition : mval 11,40
mval(m) == m.2.2 
latex

Definitionst.2
FDL editor aliasesmval

origin